منابع مشابه
Deduction chains for common knowledge
Deduction chains represent a syntactic and in a certain sense constructive method for proving completeness of a formal system. Given a formula φ, the deduction chains of φ are built up by systematically decomposing φ into its subformulae. In the case where φ is a valid formula, the decomposition yields a (usually cut-free) proof of φ. If φ is not valid, the decomposition produces a countermodel...
متن کاملDeduction Chains for Logic of Common Knowledge
Deduction chains represent a syntactic and in a certain sense constructive method for proving completeness of a formal system S with respect to the class of S-structures. Given a formula A, the deduction chains of A are built up by systematically decomposing A into its subformulae. In the case where A is a valid formula, the decomposition yields a (usually cut-free) proof of A in the system S. ...
متن کاملModel-Based Deduction for Knowledge Representation
This paper argues that model-based automated deduction techniques are very well suited for knowledge representation purposes. As a motivation we describe three applications and we discuss the requirements for a knowledge representation formalism. The presentation of our KR-system, KRHYPER, is centered aoround the equation KRHYPER = Kernel+ Logic Programming where we put particular emphasis on t...
متن کاملAn Architecture for Knowledge Based Deduction
Th i s paper d e s c r i b e s the d e s i g n o f a g e n e r a l purpose d e d u c t i o n eng ine f o r use i n expe r t sys tems. I t r e p r e s e n t s an e x t e n s i o n o f a n a t u r a l d e d u c t i o n theorem p r o v e r t h a t has e l i m i n a t e d the n e g a t i o n symbol in f a v o r o f c e r t a i n t y f a c t o r s and has an improved method o f s p l i t t i n g pro...
متن کاملAnalogy and Deduction for Knowledge Discovery
Analogy-based hypothesis generation is a promising technique for knowledge discovery. However, some hypotheses generated are nonsensical. This paper describes a two-phased method to increase the quality of analogy reasoning. The first phase employs an established approach to generate hypotheses through similarity matching. The second phase uti lizes deductive reasoning to eliminate hypotheses t...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Applied Logic
سال: 2006
ISSN: 1570-8683
DOI: 10.1016/j.jal.2005.06.011